$\forall$$P$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$). ($\forall$${\it es}$:ES\{i\}. $P$(${\it es}$)) $\Rightarrow$ $\cdot$ $\Vdash$\{i\} ${\it es}$.$P$(${\it es}$)